Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
571	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
572	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.fiocruz.br Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
573	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.at.r-project.org Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
574	J. LOGIC PROGRAMMING LOGIN: A LOGIC PROGRAMMING BUILT-IN INHERITANCE 1986:3: Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English Mathematical logic Formal languages Automated theorem proving Logic programming Unification Prolog First-order logic Interpretation Functional predicate Logic Model theory Mathematics
575	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.usthb.dz Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
576	The Term Processor Kimwitu Manual and Cookbook Peter van Eijk Axel Belinfante Add to Reading List Source URL: fmt.cs.utwente.nl Language: English - Date: 2000-04-17 12:02:50 Cross-platform software Formal languages Parsing Control flow Scripting languages Attribute grammar Foreach loop JavaScript Hash table Software engineering Computing Computer programming
577	Implementing the MyFEM Embedded Domain-specific Language Jonathan Riehl University of Chicago Abstract Add to Reading List Source URL: www.labri.fr Language: English - Date: 2008-10-14 04:10:38 Compiler construction Parsing Cross-platform software Formal languages Compiler Programming language implementation Python IMP programming language Syntax Software engineering Computing Computer programming
578	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.md.tsukuba.ac.jp Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
579	UNIVERSITY OF SHEFFIELD: DESCRIPTION OF THE LaSIE-II SYSTEM AS USED FOR MUC-7 K. Humphreys, R. Gaizauskas, S. Azzam, C. Huyck, B. Mitchell, H. Cunningham, Y. Wilks 1 Department of Comp uter Science University of Sheeld Add to Reading List Source URL: www.itl.nist.gov Language: English - Date: 2001-01-11 13:45:11 Linguistics Software engineering Grammar Parsing Natural language processing Information extraction Semantics Chart parser Formal grammar Formal languages Programming language implementation Compiler construction
580	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation

UPDATE